#include "stdio.h"
#define N 10
void main()
{ 
    int a[N], i, j, isyes=1;
for(i=0; i<N; i++)
    scanf("%d",&a[i]);

for(i=0; i<N; i++)
for(j=i+1; j<N; j++)
if(a[i]==a[j]) isyes=0;
if(isyes==0)
printf("No\n");
else 
printf("Yes\n");
}